'From Squeak3.9 of 7 November 2006 [latest update: #7067] on 16 April 2007 at 3:40:03 pm'!Prolog subclass: #PrologDemo	instanceVariableNames: ''	classVariableNames: ''	poolDictionaries: ''	category: 'Prolog'!!PrologDemo commentStamp: 'bolot 12/14/2002 22:14' prior: 0!Miscellaneous Prolog snippets!!PrologDemo methodsFor: 'as yet unclassified' stamp: 'rs 4/16/2007 11:55'!factorial(x, y) :- is(y, x value factorial).! !!PrologDemo methodsFor: 'as yet unclassified' stamp: 'rs 4/16/2007 11:55'!member(x,[x|_]).member(x,[_|r]) :- member(x,r).! !